Nuprl Lemma : es-le_antisymmetry
11,40
postcript
pdf
es
:ES,
e
,
e'
:E.
e
loc
e'
e'
loc
e
(
e
=
e'
)
latex
Lemmas
es-le-antisymmetric
origin
es:ES, e, e':E. e 
loc e' 
e' loc e (e = e') es:ES, e, e':E. e loc e' e' loc e (e = e')